let x = lazy 3 in
  if Lazy.force x = 3 then
    print_endline "ok"
  else
    print_endline "problem"
;;
